Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l

Source URL: folk.uib.no

• Logic
• Mathematical logic
• Abstraction
• Model theory
• Formal languages
• Logical truth
• Metalogic
• First-order logic
• Interpretation
• Substitution
• Well-formed formula
• Satisfiability

9th International Conference on Research Challenges in Information Science, May, Athens, Greece Doctoral Consortium Model-Based Enterprise Information System

Source URL: rcis2015.hua.gr

• Systems engineering
• Engineering
• Systems science
• Software
• Systems Modeling Language
• Model-based systems engineering
• International Council on Systems Engineering
• Enterprise Architect
• ISO/IEC 42010
• Modeling language
• Papyrus
• System of systems

Interface Transparency and the Psychosemantics of most Jeffrey Lidz, University of Maryland Justin Halberda, Johns Hopkins University Paul Pietroski, University of Maryland Tim Hunter, University of Maryland Contact Info

Source URL: ling.umd.edu

• Logic
• Philosophy
• Abstraction
• Semantics
• Philosophy of language
• Philosophical logic
• Meaning
• Quantification
• Model theory
• Truth condition
• First-order logic
• Generalized quantifier

The Inside-Outside Recursive Neural Network model for Dependency Parsing Phong Le and Willem Zuidema Institute for Logic, Language, and Computation University of Amsterdam, the Netherlands {p.le,zuidema}@uva.nl

Source URL: emnlp2014.org

D4.1: Tools for development and deployment of linguistic resources for HTR Jafar Tanha, Veronica Romero, Jesse de Does Distribution: Public

Source URL: transcriptorium.eu

• Computational linguistics
• N-gram
• Language model
• Perplexity
• Speech recognition
• Conceptual model
• Natural language processing
• Topic model
• Machine translation
• Linguistics
• Language acquisition
• Word lists by frequency

The CQL Continuous Query Language: Semantic Foundations and Query Execution∗ Arvind Arasu and Shivnath Babu and Jennifer Widom Stanford University {arvinda,shivnath,widom}@cs.stanford.edu

Source URL: ilpubs.stanford.edu

• Relational model
• Database theory
• Data management
• Query languages
• Data stream management system
• Relational algebra
• Relational database
• SQL
• Join
• Finitary relation
• Monotonic query
• StreamSQL

An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß∗ Christian Wirth†

Source URL: chrisseaton.com

• Software engineering
• Computing
• Computer programming
• Data types
• Object-oriented programming
• Type theory
• Cross-platform software
• Immutable object
• JavaScript
• Const
• Method
• Java

Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC 2004), Lisbon, Portugal, ppEvaluating the FOKS error model Slaven Bilac† , Timothy Baldwin∗ and Hozumi Tan

Source URL: lingo.stanford.edu

• Language
• Linguistic typology
• Linguistics
• Kanji
• Japanese dictionary
• Japanese input methods
• Japanese language
• Japanese writing system
• Chinese characters
• Furigana

Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Computing
• ISO standards
• Bernhard Rumpe
• Unified Modeling Language
• Kevin Lano
• Software and Systems Modeling
• Modeling language
• Jean-Marc Jzquel
• Domain-specific modeling
• Enterprise engineering